Process algebra for hybrid systems

Process algebra for hybrid systems

We propose a process algebra obtained by extending a combination of the process algebra with continuous relative timing from Baeten and Middelburg [Process Algebra with Timing, Springer, Chap. 4, 2002] and the process algebra with propositional signals from Baeten and Bergstra [Theoretical Computer Science 177:381–405, 1997]. The proposed process algebra makes it possible to deal with the behav...

A Process Algebra for Hybrid Systems

The work that is presented here was initiated by question of a colleague from the mechanical engineering department. He was analysing several industrial manufacturing processes (a tire production line, a cookie baking line, etc.). These processes were modeled in a procedural kind of programming language (called “χ” [AvdMR94]) extended with hybrid features such as continuous variables defined by...

Hybrid process algebra

• A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version ...

An algebra of hybrid systems

Hybrid systems are heterogeneous systems characterised by the interaction of discrete and continuous dynamics. We present a trajectory-based algebraic model for describing hybrid systems; the trajectories used are closely related to streams. The algebra is based on left quantales and left semirings and provides a new application for these algebraic structures. We show that hybrid automata, whic...

A Process Algebra for Timed Systems